compound
\\[0ex]Order($T$;$x$,$y$.$R$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Refl($T$;$x$,$y$.$R$($x$;$y$)) \& Trans($T$;$x$,$y$.$R$($x$;$y$)) \& AntiSym($T$;$x$,$y$.$R$($x$;$y$))